htsql_demo.sqlite 
 :where astro_course := course?department.code='astro'
 
/{exists(astro_course.credits>=5),
  every(astro_course.credits>=5),
  count(astro_course.credits>=5)}
 :where astro_course := course?department.code='astro'
Executing a database request. Please wait… 

            
          

        

        

          

            

            

            
          

        

        

          

            The server failed to perform the request.